state diagram
SCXML an XML language that provides a generic state-machine based execution environment based on Harel statecharts. YAKINDU Statechart Tools is a software for modeling state diagrams (Harel statecharts, Mealy machines, Moore machines), simulation, and source code generation.